$\forall$$i$:Id, $k$:Knd. hasloc($k$;$i$) $\in$ $\mathbb{B}$